/*
 * Copyright (c) Huawei Technologies Co., Ltd. 2019-2019.
 * Description: add hi5651t support
 * Author: yanbo
 * Create: 2019-08-11
 */

#ifndef RTOS_HAL_HI56516_H
#define RTOS_HAL_HI56516_H

extern void set_switch_mm_for_hi5651t(void);
extern void cpu_hi5651t_switch_mm(phys_addr_t pgd_phys, struct mm_struct *mm);
extern int hi5651t_add_outer_shareable;

#endif
